English computation tree logic: תרגום לשפות אחרות